Neil Jones (eds.): Z-Library 사이트에서 검색하기

지식과 문화를 자유롭게 접하기.

Don't use scam websites

책들 (19)
가장 인기 있는
목록
- 목록
- 표

1

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18–22, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)

년:

2001

언어:

english

파일:

PDF, 6.88 MB

0 / 0

english, 2001

2

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)

년:

2002

언어:

english

파일:

PDF, 3.85 MB

0 / 0

english, 2002

3

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

년:

1980

언어:

english

파일:

DJVU, 3.13 MB

0 / 0

english, 1980

4

Dynamics Reported: Expositions in Dynamical Systems

Dynamics Reported: Expositions in Dynamical Systems

Springer-Verlag Berlin Heidelberg

Neil Fenichel (auth.), Christopher K. R. T. Jones, Urs Kirchgraber, Hans-Otto Walther (eds.)

년:

1996

언어:

english

파일:

PDF, 7.18 MB

0 / 0

english, 1996

5

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.)

년:

2001

언어:

english

파일:

PDF, 2.62 MB

0 / 0

english, 2001

6

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Springer-Verlag Berlin Heidelberg

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)

년:

1994

언어:

english

파일:

PDF, 12.62 MB

0 / 0

english, 1994

7

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Semantics-Directed Compiler Generation: Proceedings of a Workshop Aarhus, Denmark, January 1980

Springer-Verlag Berlin Heidelberg

Harald Ganzinger (auth.), Neil D. Jones (eds.)

년:

1980

언어:

english

파일:

PDF, 9.67 MB

0 / 0

english, 1980

8

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Springer-Verlag Berlin Heidelberg

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.)

년:

1994

언어:

english

파일:

DJVU, 1.98 MB

0 / 0

english, 1994

9

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Arne J. Glenstrup (auth.), Don Batory, Charles Consel, Walid Taha (eds.)

년:

2002

언어:

english

파일:

PDF, 5.68 MB

0 / 0

english, 2002

10

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.)

년:

2001

언어:

english

파일:

PDF, 3.37 MB

0 / 0

english, 2001

11

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Nils Andersen, Neil D. Jones (auth.), Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg (eds.)

년:

1994

언어:

english

파일:

DJVU, 3.61 MB

0 / 0

english, 1994

12

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Nils Andersen, Neil D. Jones (auth.), Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg (eds.)

년:

1994

언어:

english

파일:

PDF, 6.62 MB

0 / 0

english, 1994

13

The Price

The Price

Jones Stephen (edit), Gaiman Neil, Sutton David (eds)

언어:

english

파일:

RAR, 10 KB

0 / 0

english

14

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Henk Barendregt, Kees Hemerik (auth.), Neil Jones (eds.)

년:

1990

언어:

english

파일:

DJVU, 4.69 MB

0 / 0

english, 1990

15

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)

년:

2009

언어:

english

파일:

PDF, 3.93 MB

0 / 0

english, 2009

16

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

년:

1986

언어:

english

파일:

DJVU, 3.68 MB

0 / 0

english, 1986

17

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

년:

2004

언어:

english

파일:

PDF, 6.10 MB

0 / 0

english, 2004

18

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Programs as Data Objects: Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Harald Ganzinger, Neil D. Jones (eds.)

년:

1986

언어:

english

파일:

PDF, 8.74 MB

0 / 0

english, 1986

19

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Neil D. Jones, Nina Bohr (auth.), Vincent van Oostrom (eds.)

년:

2004

언어:

english

파일:

PDF, 4.30 MB

0 / 0

english, 2004